../wrappers/_libkernel_init.h